Théorie des humeurs et sexualité

Théorie du contrôle optimal et calcul des variations

Une formalisation des faisceaux et des schémas affines en théorie des types avec Coq

From Théorie Des Distributions

II. Differentiation II.2. Examples of differentiation. The case of one variable (n = 1). II.2.3. Pseudofunctions. Hadamard finite part. We calculate the derivative of a function f(x) which is equal to 0 for x < 0 and 1 √ x for x > 0 (not defined for x = 0). This derivative is surely 0 on the interval (−∞, 0) and equal to the function − 1 2 x in the interval (0,∞) because in each of these two op...

Un peu de théorie des nombres et de calcul formel au service de l'arithmétique des ordinateurs

Une Théorie des Constructions Inductives